MP3_DIRECTORY Contracts

Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Text Contracts
indexing
    description: "Class working as a container for mp3-files"
    author: "David Murer"
    date: "$Date: 2005/1/24 18:09:00 $"
    revision: "0.1.0"

class interface
    MP3_DIRECTORY [G]

create 
    make_with_name

feature 

    make_with_name (artist: STRING)
            -- create an List with MP3_FILES with name of the artist as directory name
        require
            arist_not_void: artist /= Void

    name: STRING
    
invariant

    name_not_void: name /= Void

end -- class MP3_DIRECTORYClasses Clusters Cluster hierarchy Chart Relations Text Contracts

-- Generated by ISE Eiffel --

For more details: www.eiffel.com